type T = {...O}
